首页> 外文OA文献 >Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort

【2h】

Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort

机译：可验证的STM属性：利用时钟和锁来支持提交和提前中止

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Imbs, Damien; Raynal, Michel;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Nonblocking two-phase commit protocol to avoid unnecessary transaction abort for distributed systems [J] . Taekyung Byun, Songchun Moon Journal of systems architecture . 1997,第1a5期

机译：非阻塞两相提交协议以避免分布式系统的不必要的事务中止
2. Making a Regulator Clock to a New Design: Part 12 - Finishing the clock and final adjustments [J] . John Reynolds Engineering in Miniature . 2016,第2期

机译：使调节器时钟达到新设计：第12部分-完成时钟并进行最终调整
3. A Clock Generator with Clock Period, Duty-Ratio and I/Q-Balarice Adjustment Capabilities for On-Chip Timing-Margin Tests [J] . Shunichi Kaeriyama, Mikihiro Kajita, Masayuki Mizuno IEICE Transactions on Electronics . 2011,第1期

机译：具有时钟周期，占空比和I / Q-Balarice调整功能的时钟发生器，用于片内时序裕度测试
4. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort [C] . Damien Imbs, Michel Raynal Distributed Computing and Networking . 2009

机译：可证明的STM特性：利用时钟和锁来支持提交和提前中止
5. Design and implementation of clocked Open Core Protocol interfaces for Intellectual Property cores and on-chip network fabric. [D] . Gudla, Raghu Prasad. 2011

机译：用于知识产权内核和片上网络结构的时钟开放内核协议接口的设计和实现。
6. Deregulation of the circadian clock constitutes a significant factor in tumorigenesis: a clockwork cancer. Part I: clocks and clocking machinery [O] . Kristin Uth, Roger Sleigh -1

机译：昼夜节律时钟的放松是肿瘤发生的重要因素：发条癌症。第一部分：钟表机械
7. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort [O] . Imbs, Damien, Raynal, Michel 2009

机译：可验证的STM属性：利用时钟和锁来支持提交和提前中止
8. Commit/Abort Problem in Type-Specific Locking (Re-Announcement of TIB-B89-80689) [R] . Noe, J. D. , Kaiser, J. , Kroeger, R. , 1987

机译：类型特定锁定中的提交/中止问题（重新公布TIB-B89-80689）

Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅